Event Structures with Symmetry ( Extended Abstract )
نویسنده
چکیده
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes and the unfolding of Petri nets with multiple tokens are indicated.
منابع مشابه
Calculation of Buckling Load and Eigen Frequencies for Planar Truss Structures with Multi-Symmetry
In this paper, the region in which the structural system is situated is divided into four subregions, namely upper, lower, left and right subregions. The stiffness matrix of the entire system is then formed and using the existing direct symmetry and reverse symmetry, the relationships between the entries of the matrix are established. Examples are included to illustrate the steps of the method.
متن کاملSymmetry and Concurrency ( Extended
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the eventstructure semantics of higher order processes, nondeterministic dataflow and the unfolding of higher-dimensional automata and Petri nets with multiple tokens are indicated.
متن کاملA Computational Study to Find the Vibrational Modes Connected with Specific Molecular Structures of Calculated Compound
The purpose of this research is to provide a deeper understanding of the planar high- symmetry configuration instability. In the ideal case, the distortion corresponds to the movements of nuclei along normal modes that belong to non-totally symmetric irreps of the high symmertry (HS) point group of molecule. The analysis of the structural distortion from the HS nuclear arrangements of the JT ac...
متن کاملBack and forth through t ime and events ( Extended Abstract )
In this extended abstract back-and-forth structures are defined and applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such structures enable us to view temporal constructions (such as tense, aspect, and tempor...
متن کاملEvent Structures with Symmetry
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.
متن کامل